Nuprl Definition : s-in-declared 0,22
d(p) == d(p)?Top 
latex

clarification:

d(p) == fpf-cap(d;product-deq(IdLnk;Id;IdLnkDeq;IdDeq);p;Top) 
latex

Definitionsf(x)?z, product-deq(A;B;a;b), IdLnk, Id, IdLnkDeq, IdDeq, Top
FDL editor aliasess-in-declared

origin